target_sources(WarpX
  PRIVATE
    WarpXInitEB.cpp
    WarpXFaceExtensions.cpp
    WarpXFaceInfoBox.H
)
